TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

path condition [2 records]

Record 1 1992-11-30

English

Subject field(s)
  • Programming Languages
DEF

A first order logic formula over the symbolic names, and program functions and predicates.

French

Domaine(s)
  • Langages de programmation

Spanish

Save record 1

Record 2 1988-03-25

English

Subject field(s)
  • Informatics
  • Computer Programs and Programming
DEF

A set of conditions that must be met in order for a particular program path to be executed.

OBS

path condition: STD-IEEE (term and definition).

French

Domaine(s)
  • Informatique
  • Programmes et programmation (Informatique)
DEF

Ensemble des conditions qui doivent être remplies pour que les opérations d'une branche particulière du programme soient exécutées.

Spanish

Save record 2

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: